- idUS
- Listar por autor
Listar por autor "Graciani Díaz, Carmen"
Mostrando ítems 1-17 de 17
-
Libro
14th Brainstorming Week on Membrane Computing Sevilla, February 1 - 5, 2016 : RGNC Report 1/2016
Graciani Díaz, Carmen; Orellana Martín, David; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Valencia Cabrera, Luis (Fénix, 2016) -
Libro
15th Brainstorming Week on Membrane Computing Sevilla, January 31 - February 3, 2017, RGNC REPORT 1/2017 Research Group on Natural Computing Sevilla University
Graciani Díaz, Carmen; Paun, Gheorghe; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Fenix Editora, 2017) -
Artículo
A Decade of Ecological Membrane Computing Applications
Valencia Cabrera, Luis; Graciani Díaz, Carmen; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (IMCS: International Membrane Computing Society, 2018)A short summary of recent ecological modelling applications within mem- brane computing developed by the Research Group ...
-
Ponencia
A Membrane Computing Model for Ballistic Depositions
Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2007)Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were ...
-
Ponencia
A New Strategy to Improve the Performance of PDP-Systems Simulators
Graciani Díaz, Carmen; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín (Springer, 2015)One of the major challenges that current P systems simulators have to deal with is to be as efficient as possible. A P ...
-
Artículo
A Rete-based algorithm for rule selection in P systems
Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Romero Jiménez, Álvaro (Old City Publishing, Inc., 2013)The Rete algorithm is a well-known pattern matching algorithm conceived to make rule-based production system implementa ...
-
Artículo
An approach to Ballistic deposition based on membrane computing
Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Old City Publishing, Inc., 2009)Ballistic Deposition was proposed by Vold [10] and Sutherland [9] as a model for colloidal aggregation. These early works ...
-
Ponencia
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution
Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Valencia Cabrera, Luis; Romero Jiménez, Álvaro; Graciani Díaz, Carmen; Riscos Núñez, Agustín; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates ...
-
Tesis Doctoral
Especificación y verificación de programas moleculares en PVS
Graciani Díaz, Carmen (2003-09-29)La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de ...
-
Artículo
Fuzzy reasoning spiking neural P systems revisited: A formalization
Pérez Jiménez, Mario de Jesús; Graciani Díaz, Carmen; Orellana Martín, David; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Valencia Cabrera, Luis (Elsevier, 2017)Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest ...
-
Ponencia
Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems
Graciani Díaz, Carmen; Riscos Núñez, Agustín (Springer, 2005)Earlier solutions to decision problems by means of P systems used many counter objects to control the synchronization of ...
-
Capítulo de Libro
Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla
García Quismondo, Manuel; Graciani Díaz, Carmen; Riscos Núñez, Agustín (Springer, 2018)This paper is a tribute to Prof. Mario de Jesús Pérez- Jiménez. An overview of modelling applications in membrane ...
-
Ponencia
Rete Algorithm for P System Simulators
Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Riscos Núñez, Agustín (Fénix Editora, 2013)The Rete algorithm is a well-known algorithm in rule-based production systems which builds directed acyclic graphs that ...
-
Ponencia
Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era
Orellana Martín, David; Graciani Díaz, Carmen; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Fénix Editora, 2014)Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ...
-
Libro
Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008
Díaz Pernil, Daniel; Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín (Fénix Editora, 2008) -
Capítulo de Libro
Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment
Graciani Díaz, Carmen; Martín Mateos, Francisco Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2002)The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...
-
Capítulo de Libro
Using Automated Reasoning Systems on Molecular Computing
Graciani Díaz, Carmen; Pérez Jiménez, Mario de Jesús (Springer, 2005)This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study ...